/home/correa/workspace/pargo-instances/clique/dimacs/C125.9.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.01 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 519 rows, 644 columns, and 1704 nonzeros.
Reduced MIP has 125 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.00 sec. (0.68 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Tried aggregator 1 time.
Presolve time = 0.00 sec. (0.69 ticks)
Probing time = 0.00 sec. (0.41 ticks)
Clique table members: 520.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.01 sec. (6.80 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      125.0000      300     --- 
      0     0       45.4038   125        0.0000       45.4038      300     --- 
*     0+    0                           30.0000       45.4038      300   51.35%
      0     0       44.8240   125       30.0000      User: 24      370   49.41%
*     0+    0                           32.0000       44.8240      370   40.07%
      0     0       43.5899   122       32.0000      Cuts: 48      465   36.22%
      0     0       43.1496   126       32.0000      Cuts: 28      544   34.84%
      0     0       42.7550   126       32.0000      Cuts: 32      619   33.61%
*     0+    0                           33.0000       42.7550      619   29.56%
      0     0       42.2954   125       33.0000      Cuts: 32      705   28.17%
      0     0       41.9677   126       33.0000      Cuts: 31      782   27.17%
      0     0       41.6967   126       33.0000      Cuts: 18      852   26.35%
      0     0       41.5347   125       33.0000      Cuts: 22      906   25.86%
      0     0       41.3668   125       33.0000      Cuts: 19      971   25.35%
*     0+    0                           34.0000       41.3668      971   21.67%
      0     0       41.2930   125       34.0000      Cuts: 17     1004   21.45%
      0     0       41.0557   125       34.0000      Cuts: 18     1076   20.75%
      0     0       40.9737   125       34.0000      Cuts: 20     1119   20.51%
      0     0       40.9384   126       34.0000 UserPurge2: 12     1151   20.41%
      0     0       40.8938   126       34.0000 UserPurge2: 11     1189   20.28%
      0     0       40.8489   126       34.0000      Cuts: 13     1228   20.14%
      0     0       40.7614   126       34.0000 UserPurge2: 12     1261   19.89%
      0     0       40.7006   124       34.0000      Cuts: 14     1298   19.71%
      0     0       40.5956   126       34.0000      Cuts: 15     1346   19.40%
      0     0       40.5153   126       34.0000 UserPurge2: 12     1387   19.16%
      0     0       40.4669   126       34.0000 UserPurge2: 13     1431   19.02%
      0     0       40.3854   126       34.0000 UserPurge2: 8     1478   18.78%
      0     0       40.2935   125       34.0000      Cuts: 15     1512   18.51%
      0     0       40.2307   125       34.0000 UserPurge2: 27     1551   18.33%
      0     0       40.1911   125       34.0000 UserPurge2: 14     1583   18.21%
      0     0       40.1669   126       34.0000      Cuts: 10     1603   18.14%
      0     0       40.1360   126       34.0000 UserPurge2: 9     1631   18.05%
      0     0       40.1123   125       34.0000 UserPurge2: 9     1650   17.98%
      0     0       40.1013   125       34.0000 UserPurge2: 2     1667   17.94%
      0     0       40.0912   125       34.0000 UserPurge2: 7     1689   17.92%
      0     0       40.0849   126       34.0000 UserPurge2: 7     1708   17.90%
      0     0       40.0823   126       34.0000 UserPurge2: 3     1717   17.89%
      0     0       40.0768   125       34.0000 UserPurge2: 4     1735   17.87%
      0     0       40.0667   126       34.0000 UserPurge2: 4     1751   17.84%
      0     0       40.0474   125       34.0000 UserPurge2: 9     1782   17.79%
      0     0       40.0153   126       34.0000       Cuts: 9     1821   17.69%
      0     0       40.0086   126       34.0000      Cuts: 10     1846   17.67%
      0     0       39.9952   126       34.0000 UserPurge2: 8     1874   17.63%
      0     0       39.9885   126       34.0000       Cuts: 9     1900   17.61%
      0     0       39.9725   126       34.0000 UserPurge2: 12     1926   17.57%
      0     0       39.9639   126       34.0000 UserPurge2: 5     1947   17.54%
      0     0       39.9533   126       34.0000       Cuts: 9     1968   17.51%
      0     0       39.9492   125       34.0000 UserPurge2: 8     1982   17.50%
      0     0       39.9445   125       34.0000 UserPurge2: 2     1997   17.48%
      0     0       39.8878   126       34.0000 UserPurge2: 9     2035   17.32%
      0     0       39.8800   126       34.0000       Cuts: 9     2046   17.29%
      0     0       39.8737   126       34.0000 UserPurge2: 4     2061   17.28%
      0     0       39.8576   126       34.0000       Cuts: 6     2091   17.23%
      0     0       39.8531   125       34.0000      Cuts: 10     2116   17.21%
      0     0       39.8455   126       34.0000 UserPurge2: 6     2133   17.19%
      0     0       39.8374   125       34.0000 UserPurge2: 6     2157   17.17%
      0     0       39.8372   125       34.0000 UserPurge2: 3     2161   17.17%
      0     0       39.8347   126       34.0000       Cuts: 6     2171   17.16%
      0     0       39.8262   125       34.0000 UserPurge2: 1     2188   17.14%
      0     0       39.8232   125       34.0000 UserPurge2: 3     2195   17.13%
      0     0       39.8199   126       34.0000 UserPurge2: 7     2207   17.12%
      0     0       39.8147   126       34.0000 UserPurge2: 2     2222   17.10%
      0     0       39.8129   126       34.0000 UserPurge2: 7     2231   17.10%
      0     2       39.8129   126       34.0000  Local Cut: 1     2231   17.10%                        0             0
Elapsed time = 4.65 sec. (6798.03 ticks, tree = 0.00 MB, solutions = 5)
      1     3       39.7452   125       34.0000       39.8129     2397   17.10%             x86 N      1      0      1
      2     4       39.6115   122       34.0000       39.8129     2601   17.10%            x119 N      2      1      2
      4     6       39.3075   120       34.0000       39.8129     2990   17.10%             x61 N      4      3      4
      5     7       39.0904   120       34.0000       39.8129     3220   17.10%             x77 N      5      4      5
      6     8       38.8468   119       34.0000       39.8129     3489   17.10%              x9 N      6      5      6
      7     9       38.4182   118       34.0000       39.8129     3665   17.10%             x16 N      7      6      7
      8    10       38.2936   116       34.0000       39.8129     3814   17.10%             x38 N      8      7      8
      9    11       38.0582   115       34.0000       39.8129     4068   17.10%              x8 N      9      8      9
     22    24       35.6531   100       34.0000       39.8129     5152   17.10%             x91 D     22     21     22
     80    66       36.4238   100       34.0000       39.3075    10418   15.61%             x93 D     80     79     12
Elapsed time = 7.52 sec. (10650.76 ticks, tree = 0.28 MB, solutions = 5)
    142   108       35.8730    96       34.0000       38.2936    15784   12.63%             x24 D    142    141     13
    208   144       35.9000    98       34.0000       37.9094    20442   11.50%             x58 D    208    207     14
    274   182       36.1108   100       34.0000       37.6422    24603   10.71%             x40 D    274    273      8
    346   218       35.2297    89       34.0000       37.3633    28820    9.89%             x50 D    346    345     16
    420   238       36.0710    96       34.0000       37.0222    33896    8.89%             x32 D    420    419     10
    498   252       35.8677    85       34.0000       36.7689    40546    8.14%             x33 U    498     92      9
    579   265       35.1667    76       34.0000       36.5508    46657    7.50%             x43 D    579    578      9
    682   238       35.0000    77       34.0000       36.1591    55582    6.35%            x114 N    682    681     12
    784   214       35.0000    83       34.0000       35.9394    63411    5.70%             x40 N    784    355     11
   1010    30       35.1163    82       34.0000       35.2857    76674    3.78%            x109 U   1010    390     14
Elapsed time = 15.54 sec. (20286.34 ticks, tree = 0.10 MB, solutions = 5)

User cuts applied:  571

Root node processing (before b&c):
  Real time             =    4.63 sec. (6783.34 ticks)
Sequential b&c:
  Real time             =   10.96 sec. (13563.47 ticks)
                          ------------
Total (root+branch&cut) =   15.60 sec. (20346.81 ticks)
Solution status = Optimal
Solution value  = 34
Clique in initial model  = 519
Clique separated  = 2041
Rango separated  = 519
Rango con pesos separated  = 90
Número de nudos B&B  = 1044
Número de llamadas a PL  = 106
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 3
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.01
Número de vértices para grafos chicos: 50
